<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>airline-res: C:/Users/Joe/Development/Projects/University/FormalMethods/airline-res/include/CustomerRecord.h Source File</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />

<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>

</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">airline-res
   
   </div>
   <div id="projectbrief">A prototype airline flight booking system</div>
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.5.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
    </ul>
  </div>
<div class="header">
  <div class="headertitle">
<div class="title">C:/Users/Joe/Development/Projects/University/FormalMethods/airline-res/include/CustomerRecord.h</div>  </div>
</div>
<div class="contents">
<div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 
<a name="l00002"></a>00002 <span class="preprocessor">#ifndef _CUSTOMERRECORD_H_20111127</span>
<a name="l00003"></a>00003 <span class="preprocessor"></span><span class="preprocessor">#define _CUSTOMERRECORD_H_20111127</span>
<a name="l00004"></a>00004 <span class="preprocessor"></span>
<a name="l00005"></a>00005 <span class="preprocessor">#include &lt;string&gt;</span>
<a name="l00006"></a>00006 <span class="preprocessor">#include &quot;Record.h&quot;</span>
<a name="l00007"></a>00007 <span class="preprocessor">#include &quot;TimeDate.h&quot;</span>
<a name="l00008"></a>00008 
<a name="l00009"></a>00009 <span class="keyword">namespace </span>AirlineRes
<a name="l00010"></a>00010 {
<a name="l00011"></a>00011 
<a name="l00013"></a><a class="code" href="class_airline_res_1_1_customer_record.html">00013</a> <span class="keyword">class </span><a class="code" href="class_airline_res_1_1_customer_record.html" title="Class to store and operate upon the data that comprises a customer.">CustomerRecord</a> : <span class="keyword">public</span> <a class="code" href="class_airline_res_1_1_record.html">Record</a>
<a name="l00014"></a>00014 {
<a name="l00015"></a>00015 <span class="keyword">public</span>:
<a name="l00016"></a>00016   <a class="code" href="class_airline_res_1_1_customer_record.html" title="Class to store and operate upon the data that comprises a customer.">CustomerRecord</a>(){};
<a name="l00017"></a>00017   ~<a class="code" href="class_airline_res_1_1_customer_record.html" title="Class to store and operate upon the data that comprises a customer.">CustomerRecord</a>(){};
<a name="l00018"></a>00018 
<a name="l00020"></a>00020   <a class="code" href="class_airline_res_1_1_customer_record.html" title="Class to store and operate upon the data that comprises a customer.">CustomerRecord</a>
<a name="l00021"></a>00021     (
<a name="l00022"></a>00022       std::string <span class="keyword">const</span>&amp;  _passportNo,
<a name="l00023"></a>00023       std::string <span class="keyword">const</span>&amp;  _firstName,
<a name="l00024"></a>00024       std::string <span class="keyword">const</span>&amp;  _lastName,
<a name="l00025"></a>00025       <a class="code" href="class_airline_res_1_1_time_date.html">TimeDate</a>    <span class="keyword">const</span>&amp;  _dateOfBirth,
<a name="l00026"></a>00026       std::string <span class="keyword">const</span>&amp;  _email,
<a name="l00027"></a>00027       std::string <span class="keyword">const</span>&amp;  _phoneNo
<a name="l00028"></a>00028     );
<a name="l00029"></a>00029 
<a name="l00030"></a>00030   <span class="keyword">virtual</span> <a class="code" href="class_airline_res_1_1_record.html#a515eae52b011c6ef424c873f26f0fb9b" title="Possible results returned by a Record IO operation.">RecordIOResult</a> <a class="code" href="class_airline_res_1_1_customer_record.html#af0c97a2ef141a46d378f923bfd5a6b5c">LoadRecord</a>( std::istream&amp; _stream );
<a name="l00031"></a>00031   <span class="keyword">virtual</span> <a class="code" href="class_airline_res_1_1_record.html#a515eae52b011c6ef424c873f26f0fb9b" title="Possible results returned by a Record IO operation.">RecordIOResult</a> <a class="code" href="class_airline_res_1_1_customer_record.html#a262115bec99069e41ef450e2f42f02f7">WriteRecord</a>( std::ostream&amp; _stream ) <span class="keyword">const</span>;
<a name="l00032"></a>00032 
<a name="l00033"></a>00033   <span class="comment">// Getters</span>
<a name="l00034"></a>00034 
<a name="l00036"></a><a class="code" href="class_airline_res_1_1_customer_record.html#a7c8c85a3aad9b789ccb480506b7f410b">00036</a>   <span class="keyword">inline</span> std::string <a class="code" href="class_airline_res_1_1_customer_record.html#a7c8c85a3aad9b789ccb480506b7f410b">GetPassportNo</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_passportNo; };
<a name="l00038"></a><a class="code" href="class_airline_res_1_1_customer_record.html#ad671451208fe2583756a936013093fcd">00038</a>   <span class="keyword">inline</span> std::string <a class="code" href="class_airline_res_1_1_customer_record.html#ad671451208fe2583756a936013093fcd">GetFirstName</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_firstName; };
<a name="l00040"></a><a class="code" href="class_airline_res_1_1_customer_record.html#a2739c7f44019c757c3a7a40abd4780eb">00040</a>   <span class="keyword">inline</span> std::string <a class="code" href="class_airline_res_1_1_customer_record.html#a2739c7f44019c757c3a7a40abd4780eb">GetLastName</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_lastName; };
<a name="l00042"></a><a class="code" href="class_airline_res_1_1_customer_record.html#aef20994e194212064680e721edae66d0">00042</a>   <span class="keyword">inline</span> <a class="code" href="class_airline_res_1_1_time_date.html">TimeDate</a>    <a class="code" href="class_airline_res_1_1_customer_record.html#aef20994e194212064680e721edae66d0">GetDateOfBirth</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_dateOfBirth; };
<a name="l00044"></a><a class="code" href="class_airline_res_1_1_customer_record.html#a4f6f548b22dd0551340f42a7bfb5d0cc">00044</a>   <span class="keyword">inline</span> std::string <a class="code" href="class_airline_res_1_1_customer_record.html#a4f6f548b22dd0551340f42a7bfb5d0cc">GetEmail</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_email; };
<a name="l00046"></a><a class="code" href="class_airline_res_1_1_customer_record.html#a5517d7efbc8eba589cdc738482173b5e">00046</a>   <span class="keyword">inline</span> std::string <a class="code" href="class_airline_res_1_1_customer_record.html#a5517d7efbc8eba589cdc738482173b5e">GetPhoneNo</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_phoneNo; };
<a name="l00047"></a>00047 
<a name="l00048"></a>00048   <span class="comment">// Setters</span>
<a name="l00050"></a><a class="code" href="class_airline_res_1_1_customer_record.html#ab94607c4a779785711c1d88ba0357ff1">00050</a> <span class="comment"></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_customer_record.html#ab94607c4a779785711c1d88ba0357ff1" title="Set the passport number.">SetPassportNo</a>( std::string <span class="keyword">const</span>&amp; _passportNo )   { m_passportNo  = _passportNo;  };
<a name="l00052"></a><a class="code" href="class_airline_res_1_1_customer_record.html#a9b0b02ef5e37a25c9345e59eae90f14f">00052</a>   <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_customer_record.html#a9b0b02ef5e37a25c9345e59eae90f14f" title="Set the first name.">SetFirstName</a>( std::string <span class="keyword">const</span>&amp; _firstName )     { m_firstName   = _firstName;   };
<a name="l00054"></a><a class="code" href="class_airline_res_1_1_customer_record.html#a7a398119c911b368ad137b7e4a1c9ab6">00054</a>   <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_customer_record.html#a7a398119c911b368ad137b7e4a1c9ab6" title="Set the last name.">SetLastName</a>( std::string <span class="keyword">const</span>&amp; _lastName )       { m_lastName    = _lastName;    };
<a name="l00056"></a><a class="code" href="class_airline_res_1_1_customer_record.html#ad7474906673506c59bde131dfc3a3eec">00056</a>   <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_customer_record.html#ad7474906673506c59bde131dfc3a3eec" title="Set the date of birth.">SetDateOfBirth</a>( <a class="code" href="class_airline_res_1_1_time_date.html">TimeDate</a> <span class="keyword">const</span>&amp; _dateOfBirth )    { m_dateOfBirth = _dateOfBirth; };
<a name="l00058"></a><a class="code" href="class_airline_res_1_1_customer_record.html#ac1ef7757c24fa4b91f3c88c54b528830">00058</a>   <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_customer_record.html#ac1ef7757c24fa4b91f3c88c54b528830" title="Set the email address.">SetEmail</a>( std::string <span class="keyword">const</span>&amp; _email )             { m_email       = _email;       };
<a name="l00060"></a><a class="code" href="class_airline_res_1_1_customer_record.html#ab678f65a676941d5fd0aa22fc21d71cf">00060</a>   <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_customer_record.html#ab678f65a676941d5fd0aa22fc21d71cf" title="Set the phone number.">SetPhoneNo</a>( std::string <span class="keyword">const</span>&amp; _phoneNo )         { m_phoneNo     = _phoneNo;     };
<a name="l00061"></a>00061 <span class="keyword">private</span>:
<a name="l00062"></a>00062   std::string  m_passportNo;
<a name="l00063"></a>00063   std::string  m_firstName;
<a name="l00064"></a>00064   std::string  m_lastName;
<a name="l00065"></a>00065   <a class="code" href="class_airline_res_1_1_time_date.html">TimeDate</a>     m_dateOfBirth;
<a name="l00066"></a>00066   std::string  m_email;
<a name="l00067"></a>00067   std::string  m_phoneNo;
<a name="l00068"></a>00068 };
<a name="l00069"></a>00069 
<a name="l00070"></a>00070 }
<a name="l00071"></a>00071 <span class="preprocessor">#endif _CUSTOMERRECORD_H_20111127</span>
</pre></div></div>
</div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Enumerations</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>



<hr class="footer"/><address class="footer"><small>
Generated on Wed Dec 14 2011 22:49:41 for airline-res by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.7.5.1
</small></address>

</body>
</html>
